CIRcuit CALculus (CIRCAL) A {process algebra} used to model and verify the design correctness of concurrent systems such as digital logic. ["CIRCAL and the Representation of Communication, Concurrency and Time", G.J. Milne , ACM TOPLAS 7(2):270-298, 1985]. (2001-03-25)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.